Cycles, Non-Derived-Environment Blocking, and Correspondence
نویسنده
چکیده
منابع مشابه
An Enhanced MSS-based checkpointing Scheme for Mobile Computing Environment
Mobile computing systems are made up of different components among which Mobile Support Stations (MSSs) play a key role. This paper proposes an efficient MSS-based non-blocking coordinated checkpointing scheme for mobile computing environment. In the scheme suggested nearly all aspects of checkpointing and their related overheads are forwarded to the MSSs and as a result the workload of Mobile ...
متن کاملTime and Fairness in a Process Algebra with Non-blocking Reading
We introduce the first process algebra with non-blocking reading actions for modelling con-current asynchronous systems, and we do it in two different ways: one is more flexible, the otheris simpler since it needs only one type of transitions. We study the impact this new kind ofactions have on fairness, liveness and the timing of systems, using Dekker’s mutual exclusionalgo...
متن کاملAutomated Analysis of MUTEX Algorithms with FASE
In this paper we study the liveness of several MUTEX solutions by representing them as processes in PAFASs, a CCS-like process algebra with a specific operator for modelling non-blocking reading behaviours. Verification is carried out using the tool FASE, exploiting a correspondence between violations of the liveness property and a special kind of cycles (called catastrophic cycles) in some tra...
متن کاملFurther Improvement in Efficiency of ZnO Nanorod Based Solar Cells Using ZnS Quantum Dots as Light Harvester and Blocking Layer Material
Zinc oxide nanorod arrays (ZnO NRs) were grown on the ZnO seed layers via an aqueous solution using hydrothermal method and their photovoltaic properties were investigated. It was found that the growth period of 20 minutes is the optimum condition for ZnO nanorods growth, the cell containing these nanorods was considered as a reference cell. In order to further increase the cell performance, Zn...
متن کاملEffects of particles size distribution and occupied area of CdS photosensitizer on photovoltaic performance
Cadmium sulfide (CdS) photosensitizers were successfully formed on the mesoporous titania films using the successive ionic layer adsorption and reaction (SILAR) method in five cycles, and the effects of particles size distribution and their occupied surface area on the morphology, topography, optical property, and photovoltaic performance were investigated. Scanning electron microscope (SEM) im...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997